$\forall$${\it es}$:event\_system\{i:l\}, $e$:es{-}E(${\it es}$), $l$:IdLnk. loc{-}ordered(${\it es}$; es{-}receives(${\it es}$; $e$; $l$))